import sympy as sym
def lt(x,y):
    return sym.Lt(x,y)